A class of generalized Petri nets and its state equation

Generalized state equation of Petri Nets with priority

This article presents a new way of generating a generalized state equation that is useful for analyzing the token flow of the Petri Net (PN) with priority. The transition values in the firing vector as used in the conventional state equation are replaced with transition variables, which are generated by multiplying a series of firing condition functions taking the weighted inhibitor arc into ac...

State Equation for Interval-Timed Petri Nets

Timed Petri Nets (also called Duration Petri Nets, DPNs) [7, 8] are a commonly used class for modeling formally complex technical systems as embedded real time systems, for instance in aeronautics. Engineers stated that intervals allowing some variable duration of events would be a more realistic view, so Interval-Timed Petri Nets (ITPNs) have been proposed as generalizations in [2]. Hierarchic...

A Holistic State Equation for Timed Petri Nets

Timed Petri nets (TPN) or Duration Petri nets (DPN) is a well-know approach to extend “classic” Petri nets in order to allow the modeling of time [1]. In [2], a state equation for TPN was provided that describes the net’s marking in an algebraic manner, but not its transitions clocks. Hence, proofing the nonreachability of a marking is mainly done by symbolic manipulation of the state equation,...

Class of Petri Nets ?

We describe an algebraic technique for performing timing analysis on a restricted class of Petri nets with interval time delays spec-iied on the places of the net. The timing analysis we perform determines the extreme separation in time between speciied occurrences of pairs of transitions for all possible timed executions of the system. We present the details of the timing analysis algorithm an...

State Class Constructions for Branching Analysis of Time Petri Nets